Towards Building Secure Software Systems
نویسندگان
چکیده
Software security breaches are now very extremely common and a larger percentage is caused by software design defects. Since individuals and organizations now completely depend on software systems for their day-to-day operations, it is then important to produce secure software products. This paper discusses the problems of producing secure software products and provides a model for improving software security. The model – Secure Software Development Model (SSDM), is unified model that integrates security engineering with software engineering so as to ensure effective production of secure software products. Supporting structure in form of laws is also presented to guide developers throughout the development process. We then present our experience that validates the model.
منابع مشابه
Security Engineering towards Building a Secure Software
Information Systems Security is one of the most critical challenges presently facing nearly every one of the organizations. However, making certain security and quality in both information and the systems which control information is a difficult goal necessitating the mixture of two wide research disciplines which are typically separate: security engineering and secure software engineering. Sec...
متن کاملAn Integrated Approach to Correct and Secure Computing Systems
Today’s computing systems are built with vivid abstractions using a wide range of programming languages, software tool chains, and for different target domains (e.g. servers, low power devices) with different cost-performance tradeoffs. As complex computing systems become ubiquitous, simple bugs can have catastrophic effects resulting in huge financial losses and even worse, injury or death. Re...
متن کاملBuilding secure-by-construction distributed component-based systems
We present an automated method to build secure distributed systems from an abstract multilevel security component-based model. We take as input a high-level secureBIP componentbased model and transform it into a decentralized Send/Receive secureBIP model and further on distributed code. The security policy is defined at the design time. Information flow policy is verified and automatically pres...
متن کاملSecure Control Applications in Smart Homes and Buildings
With today’s ongoing integration of heterogeneous building automation systems, increased comfort, energy efficiency, improved building management, sustainability as well as advanced applications such as active & assisted living scenarios become possible. These smart homes and buildings are implemented as decentralized systems, where embedded devices are connected via networks to exchange their ...
متن کاملTowards Green Building: Sustainability Approach in Building Industrialization
Building construction challenge, in recent years, is the reduction of social, economical and environmentalimpacts along with economical nature and increasing life quality, as here sustainable construction is important. Pre-fabrication and industrialization are referred as a solution of sustainable construction due to some of its main characteristics consisting of many sustainability aspects. Du...
متن کامل